Monitoring Temporal Properties of Continuous Signals
نویسندگان
چکیده
In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the real-time logic MITL, augmented with a static mapping from continuous domains into propositions. From formulae in this logic we create automatically property monitors that can check whether a given signal of bounded length and finite variability satisfies the property. A prototype implementation of this procedure was used to check properties of simulation traces generated by Matlab/Simulink.
منابع مشابه
Continuous and Cuffless Blood Pressure Monitoring Based on ECG and SpO2 Signals By Using Microsoft Visual C Sharp
Background: One of the main problems especially in operating room and monitoring devices is measurement of Blood Pressure (BP) by sphygmomanometer cuff.Objective: In this study we designed a new method to measure BP changes continuously for detecting information between cuff inflation times by using vital signals in monitoring devices. This will be achieved by extraction of the time difference ...
متن کاملOn Expressing and Monitoring Oscillatory Dynamics
To express temporal properties of dense-time real-valued signals, the Signal Temporal Logic (STL) has been defined by Maler et al. The work presented a monitoring algorithm deciding the satisfiability of STL formulae on finite discrete samples of continuous signals. The logic has been used to express and analyse biological systems, but it is not expressive enough to sufficiently distinguish osc...
متن کاملProper integration time of polarization signals of internetwork regions using Sunrise/IMaX data
Distribution of magnetic fields in the quiet-Sun internetwork areas has been affected by weak polarization (in particular Stokes Q and U) signals. To improve the signal-to-noise ratio (SNR) of the weak polarization signals, several approaches, including temporal integrations, have been proposed in the literature. In this study, we aim to investigate a proper temporal-integration time with which...
متن کاملDesigning and Constructing an Optical System to measure Continuous and Cuffless Blood Pressure Using Two Pulse Signals
Introduction Blood pressure (BP) is one of the important vital signs that need to be monitored for personal healthcare. Arterial blood pressure is estimated from pulse transit time (PTT). This study uses two pulse sensors to get PTT. The aim of this study was to construct an optical system and to monitor blood pressure continuously and without cuff in people with different ages. Materials and M...
متن کاملAMT: A Property-Based Monitoring Tool for Analog Systems
In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the industrial standard language PSL and the real-time temporal logic MITL, extended with constructs that allow describing behaviors of real-valued variables. The tool automatically builds property observers from an STL/PSL specification ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004